representablecó thể diễn t được: utterablecó thể diễn được: playablecó thể suy diễn: induciblededucible